x86_64: explicitly zero CR[1] in getvcpucontext for guests with no user PT
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 6 Apr 2009 12:56:35 +0000 (13:56 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 6 Apr 2009 12:56:35 +0000 (13:56 +0100)
commita5428a4b5f54fa660b37d8eec88a69700f6f8352
tree1732600ba5c32a0f474d14e445d508e40a24a039
parentfdd33002ee45be20b317cad3e165714d14009390
x86_64: explicitly zero CR[1] in getvcpucontext for guests with no user PT

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/x86/domctl.c